Egon Börger: tražiti na sajtu Z-Library

Slobodan pristup znanju i kulturi.

Don't use scam websites

Knjige (44)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Structures of Computing: A Guide to Practice-Oriented Theory

Structures of Computing: A Guide to Practice-Oriented Theory

Egon Börger, Vincenzo Gervasi

Godina:

2024

Jezik:

english

Fajl:

PDF, 6.12 MB

5.0 / 5.0

english, 2024

2

Abstract state machines A method for high level system design and analysis

Abstract state machines A method for high level system design and analysis

Egon Börger, Robert Stärk

Godina:

2003

Jezik:

english

Fajl:

PDF, 22.25 MB

0 / 0

english, 2003

3

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Godina:

1993

Jezik:

english

Fajl:

DJVU, 2.95 MB

0 / 0

english, 1993

4

High Level System Design and Analysis using Abstract State Machines

High Level System Design and Analysis using Abstract State Machines

Jezik:

english

Fajl:

PDF, 399 KB

0 / 0

english

5

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 13.05 MB

0 / 0

english, 2007

6

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Godina:

1984

Jezik:

english

Fajl:

PDF, 5.49 MB

0 / 0

english, 1984

7

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 4.61 MB

0 / 0

english, 2009

8

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 8.81 MB

0 / 0

english, 2012

9

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christian Stary (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 7.80 MB

0 / 0

english, 2012

10

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Branislav Rovan (eds.)

Godina:

1990

Jezik:

english

Fajl:

DJVU, 5.86 MB

0 / 0

english, 1990

11

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Godina:

1994

Jezik:

english

Fajl:

DJVU, 2.87 MB

0 / 0

english, 1994

12

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 4.56 MB

0 / 0

english, 2009

13

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid, Egon Börger

Godina:

2001

Jezik:

english

Fajl:

PDF, 2.38 MB

0 / 0

english, 2001

14

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 4.81 MB

0 / 0

english, 1996

15

Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

Springer Berlin Heidelberg

Egon Börger, Alexander Raschke

Godina:

2018

Jezik:

english

Fajl:

PDF, 4.66 MB

0 / 0

english, 2018

16

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Springer-Verlag Berlin Heidelberg

Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger (auth.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 7.14 MB

0 / 0

english, 2001

17

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Springer-Verlag Berlin Heidelberg

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

Godina:

2012

Jezik:

english

Fajl:

PDF, 22.95 MB

0 / 0

english, 2012

18

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Springer-Verlag Berlin Heidelberg

Raul Camposano, Andrew Seawright, Joseph Buck (auth.), Prof. Dr. Egon Börger (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 9.56 MB

0 / 0

english, 2000

19

The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich

Godina:

1997

Jezik:

english

Fajl:

DJVU, 5.98 MB

0 / 0

english, 1997

20

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Godina:

1986

Jezik:

german

Fajl:

PDF, 14.79 MB

0 / 0

german, 1986

21

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.)

Godina:

1992

Jezik:

german

Fajl:

PDF, 11.06 MB

0 / 0

german, 1992

22

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 10.60 MB

0 / 0

english, 2012

23

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Albert Fleischmann & Werner J. Schmidt & Christian Stary & Stefan Obermeier & Egon Börger [Fleischmann, Albert & Schmidt, Werner J. & Stary, Christian & Obermeier, Stefan & Börger, Egon]

Godina:

2011

Jezik:

english

Fajl:

EPUB, 15.22 MB

0 / 0

english, 2011

24

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Godina:

1987

Jezik:

english

Fajl:

DJVU, 4.50 MB

0 / 0

english, 1987

25

The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon

Godina:

1997

Jezik:

english

Fajl:

DJVU, 4.69 MB

0 / 0

english, 1997

26

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Godina:

1985

Jezik:

german

Fajl:

PDF, 11.12 MB

0 / 0

german, 1985

27

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 4.83 MB

0 / 0

english, 2008

28

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Godina:

2000

Jezik:

english

Fajl:

PDF, 3.75 MB

0 / 0

english, 2000

29

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 3.95 MB

0 / 0

english, 2008

30

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 7.55 MB

0 / 0

english, 2012

31

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 3.24 MB

0 / 0

english, 2008

32

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

Godina:

1991

Jezik:

english

Fajl:

DJVU, 3.67 MB

0 / 0

english, 1991

33

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)

Godina:

1999

Jezik:

english

Fajl:

PDF, 21.62 MB

0 / 0

english, 1999

34

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 3.93 MB

0 / 0

english, 2003

35

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 3.80 MB

0 / 0

english, 2000

36

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 4.24 MB

0 / 0

english, 2008

37

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 24.27 MB

0 / 0

english, 2003

38

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1988

Jezik:

english

Fajl:

DJVU, 3.20 MB

0 / 0

english, 1988

39

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1990

Jezik:

english

Fajl:

DJVU, 4.21 MB

0 / 0

english, 1990

40

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 6.61 MB

0 / 0

english, 2012

41

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 7.30 MB

0 / 0

english, 2008

42

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1989

Jezik:

english

Fajl:

DJVU, 2.87 MB

0 / 0

english, 1989

43

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 6.43 MB

0 / 0

english, 2008

44

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

Godina:

1992

Jezik:

english

Fajl:

DJVU, 3.80 MB

0 / 0

english, 1992